3.130 \(\int \frac{A+B x}{\sqrt{a+b x} \sqrt{c+d x} \sqrt{e+f x} \sqrt{g+h x}} \, dx\)

Optimal. Leaf size=440 \[ \frac{2 \sqrt{g+h x} \left (A-\frac{a B}{b}\right ) \sqrt{\frac{(c+d x) (b e-a f)}{(a+b x) (d e-c f)}} F\left (\sin ^{-1}\left (\frac{\sqrt{b g-a h} \sqrt{e+f x}}{\sqrt{f g-e h} \sqrt{a+b x}}\right )|-\frac{(b c-a d) (f g-e h)}{(d e-c f) (b g-a h)}\right )}{\sqrt{c+d x} \sqrt{b g-a h} \sqrt{f g-e h} \sqrt{-\frac{(g+h x) (b e-a f)}{(a+b x) (f g-e h)}}}+\frac{2 B (a+b x) \sqrt{c h-d g} \sqrt{\frac{(c+d x) (b g-a h)}{(a+b x) (d g-c h)}} \sqrt{\frac{(e+f x) (b g-a h)}{(a+b x) (f g-e h)}} \Pi \left (-\frac{b (d g-c h)}{(b c-a d) h};\sin ^{-1}\left (\frac{\sqrt{b c-a d} \sqrt{g+h x}}{\sqrt{c h-d g} \sqrt{a+b x}}\right )|\frac{(b e-a f) (d g-c h)}{(b c-a d) (f g-e h)}\right )}{b h \sqrt{c+d x} \sqrt{e+f x} \sqrt{b c-a d}} \]

[Out]

(2*(A - (a*B)/b)*Sqrt[((b*e - a*f)*(c + d*x))/((d*e - c*f)*(a + b*x))]*Sqrt[g +
h*x]*EllipticF[ArcSin[(Sqrt[b*g - a*h]*Sqrt[e + f*x])/(Sqrt[f*g - e*h]*Sqrt[a +
b*x])], -(((b*c - a*d)*(f*g - e*h))/((d*e - c*f)*(b*g - a*h)))])/(Sqrt[b*g - a*h
]*Sqrt[f*g - e*h]*Sqrt[c + d*x]*Sqrt[-(((b*e - a*f)*(g + h*x))/((f*g - e*h)*(a +
b*x)))]) + (2*B*Sqrt[-(d*g) + c*h]*(a + b*x)*Sqrt[((b*g - a*h)*(c + d*x))/((d*g
- c*h)*(a + b*x))]*Sqrt[((b*g - a*h)*(e + f*x))/((f*g - e*h)*(a + b*x))]*Ellipt
icPi[-((b*(d*g - c*h))/((b*c - a*d)*h)), ArcSin[(Sqrt[b*c - a*d]*Sqrt[g + h*x])/
(Sqrt[-(d*g) + c*h]*Sqrt[a + b*x])], ((b*e - a*f)*(d*g - c*h))/((b*c - a*d)*(f*g
- e*h))])/(b*Sqrt[b*c - a*d]*h*Sqrt[c + d*x]*Sqrt[e + f*x])

_______________________________________________________________________________________

Rubi [A]  time = 2.04063, antiderivative size = 440, normalized size of antiderivative = 1., number of steps used = 6, number of rules used = 6, integrand size = 42, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.143 \[ \frac{2 \sqrt{g+h x} \left (A-\frac{a B}{b}\right ) \sqrt{\frac{(c+d x) (b e-a f)}{(a+b x) (d e-c f)}} F\left (\sin ^{-1}\left (\frac{\sqrt{b g-a h} \sqrt{e+f x}}{\sqrt{f g-e h} \sqrt{a+b x}}\right )|-\frac{(b c-a d) (f g-e h)}{(d e-c f) (b g-a h)}\right )}{\sqrt{c+d x} \sqrt{b g-a h} \sqrt{f g-e h} \sqrt{-\frac{(g+h x) (b e-a f)}{(a+b x) (f g-e h)}}}+\frac{2 B (a+b x) \sqrt{c h-d g} \sqrt{\frac{(c+d x) (b g-a h)}{(a+b x) (d g-c h)}} \sqrt{\frac{(e+f x) (b g-a h)}{(a+b x) (f g-e h)}} \Pi \left (-\frac{b (d g-c h)}{(b c-a d) h};\sin ^{-1}\left (\frac{\sqrt{b c-a d} \sqrt{g+h x}}{\sqrt{c h-d g} \sqrt{a+b x}}\right )|\frac{(b e-a f) (d g-c h)}{(b c-a d) (f g-e h)}\right )}{b h \sqrt{c+d x} \sqrt{e+f x} \sqrt{b c-a d}} \]

Antiderivative was successfully verified.

[In]  Int[(A + B*x)/(Sqrt[a + b*x]*Sqrt[c + d*x]*Sqrt[e + f*x]*Sqrt[g + h*x]),x]

[Out]

(2*(A - (a*B)/b)*Sqrt[((b*e - a*f)*(c + d*x))/((d*e - c*f)*(a + b*x))]*Sqrt[g +
h*x]*EllipticF[ArcSin[(Sqrt[b*g - a*h]*Sqrt[e + f*x])/(Sqrt[f*g - e*h]*Sqrt[a +
b*x])], -(((b*c - a*d)*(f*g - e*h))/((d*e - c*f)*(b*g - a*h)))])/(Sqrt[b*g - a*h
]*Sqrt[f*g - e*h]*Sqrt[c + d*x]*Sqrt[-(((b*e - a*f)*(g + h*x))/((f*g - e*h)*(a +
b*x)))]) + (2*B*Sqrt[-(d*g) + c*h]*(a + b*x)*Sqrt[((b*g - a*h)*(c + d*x))/((d*g
- c*h)*(a + b*x))]*Sqrt[((b*g - a*h)*(e + f*x))/((f*g - e*h)*(a + b*x))]*Ellipt
icPi[-((b*(d*g - c*h))/((b*c - a*d)*h)), ArcSin[(Sqrt[b*c - a*d]*Sqrt[g + h*x])/
(Sqrt[-(d*g) + c*h]*Sqrt[a + b*x])], ((b*e - a*f)*(d*g - c*h))/((b*c - a*d)*(f*g
- e*h))])/(b*Sqrt[b*c - a*d]*h*Sqrt[c + d*x]*Sqrt[e + f*x])

_______________________________________________________________________________________

Rubi in Sympy [F(-1)]  time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  rubi_integrate((B*x+A)/(b*x+a)**(1/2)/(d*x+c)**(1/2)/(f*x+e)**(1/2)/(h*x+g)**(1/2),x)

[Out]

Timed out

_______________________________________________________________________________________

Mathematica [A]  time = 10.1962, size = 586, normalized size = 1.33 \[ \frac{2 (a+b x)^{3/2} \sqrt{\frac{(c+d x) (b g-a h)}{(a+b x) (d g-c h)}} \left (-\frac{A b (g+h x) \sqrt{\frac{(e+f x) (b g-a h)}{(a+b x) (f g-e h)}} F\left (\sin ^{-1}\left (\sqrt{\frac{(a f-b e) (g+h x)}{(f g-e h) (a+b x)}}\right )|\frac{(a d-b c) (e h-f g)}{(b e-a f) (d g-c h)}\right )}{(a+b x) (b g-a h) \sqrt{\frac{(g+h x) (a f-b e)}{(a+b x) (f g-e h)}}}-\frac{a B (g+h x) \sqrt{\frac{(e+f x) (b g-a h)}{(a+b x) (f g-e h)}} F\left (\sin ^{-1}\left (\sqrt{\frac{(a f-b e) (g+h x)}{(f g-e h) (a+b x)}}\right )|\frac{(a d-b c) (e h-f g)}{(b e-a f) (d g-c h)}\right )}{(a+b x) (a h-b g) \sqrt{\frac{(g+h x) (a f-b e)}{(a+b x) (f g-e h)}}}+\frac{B (e h-f g) \sqrt{-\frac{(e+f x) (g+h x) (b e-a f) (b g-a h)}{(a+b x)^2 (f g-e h)^2}} \Pi \left (\frac{b (e h-f g)}{(b e-a f) h};\sin ^{-1}\left (\sqrt{\frac{(a f-b e) (g+h x)}{(f g-e h) (a+b x)}}\right )|\frac{(a d-b c) (e h-f g)}{(b e-a f) (d g-c h)}\right )}{h (b e-a f)}\right )}{b \sqrt{c+d x} \sqrt{e+f x} \sqrt{g+h x}} \]

Antiderivative was successfully verified.

[In]  Integrate[(A + B*x)/(Sqrt[a + b*x]*Sqrt[c + d*x]*Sqrt[e + f*x]*Sqrt[g + h*x]),x]

[Out]

(2*(a + b*x)^(3/2)*Sqrt[((b*g - a*h)*(c + d*x))/((d*g - c*h)*(a + b*x))]*(-((A*b
*Sqrt[((b*g - a*h)*(e + f*x))/((f*g - e*h)*(a + b*x))]*(g + h*x)*EllipticF[ArcSi
n[Sqrt[((-(b*e) + a*f)*(g + h*x))/((f*g - e*h)*(a + b*x))]], ((-(b*c) + a*d)*(-(
f*g) + e*h))/((b*e - a*f)*(d*g - c*h))])/((b*g - a*h)*(a + b*x)*Sqrt[((-(b*e) +
a*f)*(g + h*x))/((f*g - e*h)*(a + b*x))])) - (a*B*Sqrt[((b*g - a*h)*(e + f*x))/(
(f*g - e*h)*(a + b*x))]*(g + h*x)*EllipticF[ArcSin[Sqrt[((-(b*e) + a*f)*(g + h*x
))/((f*g - e*h)*(a + b*x))]], ((-(b*c) + a*d)*(-(f*g) + e*h))/((b*e - a*f)*(d*g
- c*h))])/((-(b*g) + a*h)*(a + b*x)*Sqrt[((-(b*e) + a*f)*(g + h*x))/((f*g - e*h)
*(a + b*x))]) + (B*(-(f*g) + e*h)*Sqrt[-(((b*e - a*f)*(b*g - a*h)*(e + f*x)*(g +
h*x))/((f*g - e*h)^2*(a + b*x)^2))]*EllipticPi[(b*(-(f*g) + e*h))/((b*e - a*f)*
h), ArcSin[Sqrt[((-(b*e) + a*f)*(g + h*x))/((f*g - e*h)*(a + b*x))]], ((-(b*c) +
a*d)*(-(f*g) + e*h))/((b*e - a*f)*(d*g - c*h))])/((b*e - a*f)*h)))/(b*Sqrt[c +
d*x]*Sqrt[e + f*x]*Sqrt[g + h*x])

_______________________________________________________________________________________

Maple [B]  time = 0.107, size = 2453, normalized size = 5.6 \[ \text{result too large to display} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  int((B*x+A)/(b*x+a)^(1/2)/(d*x+c)^(1/2)/(f*x+e)^(1/2)/(h*x+g)^(1/2),x)

[Out]

2/(h*x+g)^(1/2)/(f*x+e)^(1/2)/(d*x+c)^(1/2)/(b*x+a)^(1/2)/f/h*((a*f-b*e)*(h*x+g)
/(a*h-b*g)/(f*x+e))^(1/2)*((e*h-f*g)*(d*x+c)/(c*h-d*g)/(f*x+e))^(1/2)*((e*h-f*g)
*(b*x+a)/(a*h-b*g)/(f*x+e))^(1/2)*(A*EllipticF(((a*f-b*e)*(h*x+g)/(a*h-b*g)/(f*x
+e))^(1/2),((c*f-d*e)*(a*h-b*g)/(c*h-d*g)/(a*f-b*e))^(1/2))*x^2*a*f^3*h^2-A*Elli
pticF(((a*f-b*e)*(h*x+g)/(a*h-b*g)/(f*x+e))^(1/2),((c*f-d*e)*(a*h-b*g)/(c*h-d*g)
/(a*f-b*e))^(1/2))*x^2*b*f^3*g*h-B*EllipticF(((a*f-b*e)*(h*x+g)/(a*h-b*g)/(f*x+e
))^(1/2),((c*f-d*e)*(a*h-b*g)/(c*h-d*g)/(a*f-b*e))^(1/2))*x^2*a*e*f^2*h^2+B*Elli
pticF(((a*f-b*e)*(h*x+g)/(a*h-b*g)/(f*x+e))^(1/2),((c*f-d*e)*(a*h-b*g)/(c*h-d*g)
/(a*f-b*e))^(1/2))*x^2*b*e*f^2*g*h+B*EllipticPi(((a*f-b*e)*(h*x+g)/(a*h-b*g)/(f*
x+e))^(1/2),(a*h-b*g)*f/h/(a*f-b*e),((c*f-d*e)*(a*h-b*g)/(c*h-d*g)/(a*f-b*e))^(1
/2))*x^2*a*e*f^2*h^2-B*EllipticPi(((a*f-b*e)*(h*x+g)/(a*h-b*g)/(f*x+e))^(1/2),(a
*h-b*g)*f/h/(a*f-b*e),((c*f-d*e)*(a*h-b*g)/(c*h-d*g)/(a*f-b*e))^(1/2))*x^2*a*f^3
*g*h-B*EllipticPi(((a*f-b*e)*(h*x+g)/(a*h-b*g)/(f*x+e))^(1/2),(a*h-b*g)*f/h/(a*f
-b*e),((c*f-d*e)*(a*h-b*g)/(c*h-d*g)/(a*f-b*e))^(1/2))*x^2*b*e*f^2*g*h+B*Ellipti
cPi(((a*f-b*e)*(h*x+g)/(a*h-b*g)/(f*x+e))^(1/2),(a*h-b*g)*f/h/(a*f-b*e),((c*f-d*
e)*(a*h-b*g)/(c*h-d*g)/(a*f-b*e))^(1/2))*x^2*b*f^3*g^2+2*A*EllipticF(((a*f-b*e)*
(h*x+g)/(a*h-b*g)/(f*x+e))^(1/2),((c*f-d*e)*(a*h-b*g)/(c*h-d*g)/(a*f-b*e))^(1/2)
)*x*a*e*f^2*h^2-2*A*EllipticF(((a*f-b*e)*(h*x+g)/(a*h-b*g)/(f*x+e))^(1/2),((c*f-
d*e)*(a*h-b*g)/(c*h-d*g)/(a*f-b*e))^(1/2))*x*b*e*f^2*g*h-2*B*EllipticF(((a*f-b*e
)*(h*x+g)/(a*h-b*g)/(f*x+e))^(1/2),((c*f-d*e)*(a*h-b*g)/(c*h-d*g)/(a*f-b*e))^(1/
2))*x*a*e^2*f*h^2+2*B*EllipticF(((a*f-b*e)*(h*x+g)/(a*h-b*g)/(f*x+e))^(1/2),((c*
f-d*e)*(a*h-b*g)/(c*h-d*g)/(a*f-b*e))^(1/2))*x*b*e^2*f*g*h+2*B*EllipticPi(((a*f-
b*e)*(h*x+g)/(a*h-b*g)/(f*x+e))^(1/2),(a*h-b*g)*f/h/(a*f-b*e),((c*f-d*e)*(a*h-b*
g)/(c*h-d*g)/(a*f-b*e))^(1/2))*x*a*e^2*f*h^2-2*B*EllipticPi(((a*f-b*e)*(h*x+g)/(
a*h-b*g)/(f*x+e))^(1/2),(a*h-b*g)*f/h/(a*f-b*e),((c*f-d*e)*(a*h-b*g)/(c*h-d*g)/(
a*f-b*e))^(1/2))*x*a*e*f^2*g*h-2*B*EllipticPi(((a*f-b*e)*(h*x+g)/(a*h-b*g)/(f*x+
e))^(1/2),(a*h-b*g)*f/h/(a*f-b*e),((c*f-d*e)*(a*h-b*g)/(c*h-d*g)/(a*f-b*e))^(1/2
))*x*b*e^2*f*g*h+2*B*EllipticPi(((a*f-b*e)*(h*x+g)/(a*h-b*g)/(f*x+e))^(1/2),(a*h
-b*g)*f/h/(a*f-b*e),((c*f-d*e)*(a*h-b*g)/(c*h-d*g)/(a*f-b*e))^(1/2))*x*b*e*f^2*g
^2+A*EllipticF(((a*f-b*e)*(h*x+g)/(a*h-b*g)/(f*x+e))^(1/2),((c*f-d*e)*(a*h-b*g)/
(c*h-d*g)/(a*f-b*e))^(1/2))*a*e^2*f*h^2-A*EllipticF(((a*f-b*e)*(h*x+g)/(a*h-b*g)
/(f*x+e))^(1/2),((c*f-d*e)*(a*h-b*g)/(c*h-d*g)/(a*f-b*e))^(1/2))*b*e^2*f*g*h-B*E
llipticF(((a*f-b*e)*(h*x+g)/(a*h-b*g)/(f*x+e))^(1/2),((c*f-d*e)*(a*h-b*g)/(c*h-d
*g)/(a*f-b*e))^(1/2))*a*e^3*h^2+B*EllipticF(((a*f-b*e)*(h*x+g)/(a*h-b*g)/(f*x+e)
)^(1/2),((c*f-d*e)*(a*h-b*g)/(c*h-d*g)/(a*f-b*e))^(1/2))*b*e^3*g*h+B*EllipticPi(
((a*f-b*e)*(h*x+g)/(a*h-b*g)/(f*x+e))^(1/2),(a*h-b*g)*f/h/(a*f-b*e),((c*f-d*e)*(
a*h-b*g)/(c*h-d*g)/(a*f-b*e))^(1/2))*a*e^3*h^2-B*EllipticPi(((a*f-b*e)*(h*x+g)/(
a*h-b*g)/(f*x+e))^(1/2),(a*h-b*g)*f/h/(a*f-b*e),((c*f-d*e)*(a*h-b*g)/(c*h-d*g)/(
a*f-b*e))^(1/2))*a*e^2*f*g*h-B*EllipticPi(((a*f-b*e)*(h*x+g)/(a*h-b*g)/(f*x+e))^
(1/2),(a*h-b*g)*f/h/(a*f-b*e),((c*f-d*e)*(a*h-b*g)/(c*h-d*g)/(a*f-b*e))^(1/2))*b
*e^3*g*h+B*EllipticPi(((a*f-b*e)*(h*x+g)/(a*h-b*g)/(f*x+e))^(1/2),(a*h-b*g)*f/h/
(a*f-b*e),((c*f-d*e)*(a*h-b*g)/(c*h-d*g)/(a*f-b*e))^(1/2))*b*e^2*f*g^2)/(e*h-f*g
)/(a*f-b*e)

_______________________________________________________________________________________

Maxima [F]  time = 0., size = 0, normalized size = 0. \[ \int \frac{B x + A}{\sqrt{b x + a} \sqrt{d x + c} \sqrt{f x + e} \sqrt{h x + g}}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((B*x + A)/(sqrt(b*x + a)*sqrt(d*x + c)*sqrt(f*x + e)*sqrt(h*x + g)),x, algorithm="maxima")

[Out]

integrate((B*x + A)/(sqrt(b*x + a)*sqrt(d*x + c)*sqrt(f*x + e)*sqrt(h*x + g)), x
)

_______________________________________________________________________________________

Fricas [F(-1)]  time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((B*x + A)/(sqrt(b*x + a)*sqrt(d*x + c)*sqrt(f*x + e)*sqrt(h*x + g)),x, algorithm="fricas")

[Out]

Timed out

_______________________________________________________________________________________

Sympy [F(-1)]  time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((B*x+A)/(b*x+a)**(1/2)/(d*x+c)**(1/2)/(f*x+e)**(1/2)/(h*x+g)**(1/2),x)

[Out]

Timed out

_______________________________________________________________________________________

GIAC/XCAS [F]  time = 0., size = 0, normalized size = 0. \[ \int \frac{B x + A}{\sqrt{b x + a} \sqrt{d x + c} \sqrt{f x + e} \sqrt{h x + g}}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((B*x + A)/(sqrt(b*x + a)*sqrt(d*x + c)*sqrt(f*x + e)*sqrt(h*x + g)),x, algorithm="giac")

[Out]

integrate((B*x + A)/(sqrt(b*x + a)*sqrt(d*x + c)*sqrt(f*x + e)*sqrt(h*x + g)), x
)